Section: New Results
A hierarchy builder
Participants : Kazuhiko Sakaguchi, Cyril Cohen.
We are studying how to generate mathematical structures from their axioms using the high-level language provided by the Coq-Elpi experiment. Ongoing experiments are visible at the following address https://github.com/math-comp/hierarchy-builder.